1. An invitation to applied category theory :
Author: Brendan Fong, David I. Spivak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
2. An invitation to applied category theory :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
3. Berechenbarkeit, Komplexität, Logik :
Author: Egon Börger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
Classification :
QA9
.
56
E366
1992
4. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
Author: \ Richard L. Epstein, Walter A. Carnielli
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: توابع محاسبهپذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
,.
59
.
E67
5. Computability and logic
Author: Boolos, George.
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
Classification :
QA
9
.
59
.
B6C6
6. Computability and logic
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
B66
2002
7. Computability and logic
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
E-BOOK
8. Computability and logic
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.
Classification :
QA
,
9
.
59
,.
B66
,
2002
9. Computability and logic
Author: Cohen, Daniel E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
C64
1987
10. Computability and logic /
Author: Daniel E. Cohen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
C64
1987
11. Computability and logic
Author: Boolos, George S., 0491-6991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B66C6
12. Computability and logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
13. Computability and logic
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
B66
2002
14. Computability and logic
Author: Boolos, George S., 0491-6991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B66C6
1989
15. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
16. Computability, complexity, logic
Author: Borger, Egon, 6491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B6713
17. Computability, complexity, logic
Author: Borger, E.)Egon(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B6713
1989
18. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Computability : computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L., 7491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
E67
1989
20. Computability : computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
E67
